<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
  <head>
    <title>package alloy.api</title>
  </head>

  <body>
    Programmatic interface to analyzing Alloy specifications.
    Given alloy (.als) files on disc, runs analyses on them
    and returns results in a programmatic data structure.
    See {@link alloy.api.AlloyRunner} for details on how
    to use this API.
    <hr>
    <address><a href="mailto:ilya_shl@mit.edu"></a></address>
<!-- Created: Mon Oct 01 15:08:00 Eastern Daylight Time 2001 -->
<!-- hhmts start -->
Last modified: Mon Oct 01 15:09:08 Eastern Daylight Time 2001
<!-- hhmts end -->
  </body>
</html>
